#include <stdio.h>

int main(int argc, char *argv[]) {

    char num[18];
    scanf("%s", num);
    printf("%c%c%c%c-%c%c-%c%c",num[6],num[7],num[8],num[9]
    ,num[10],num[11],num[12],num[13]);

    return 0;
}